Validation of Statecharts Based on Programmed Execution
نویسندگان
چکیده
Statechart is a graphical technique for specification of reactive systems. Validation of a statechart model is very important due to its potential complexity and can be supported by different types of simulations: interactive, batch, programmed, exhaustive and prototyping. In this paper we present a language named Execution Control Language (ECL) to support the simulation of models based on randomic generation of events and controlled execution. An example is shown and results obtained using programmed execution are analyzed and used to improve the first version of the statechart model.
منابع مشابه
A Discrete-Event Simulation Framework for the Validation of Agent-based and Multi-Agent Systems
Simulation of agent-based systems is an inherent requirement of the development process which provides developers with a powerful means to validate both agents’ dynamic behavior and the agent system as a whole and investigate the implications of alternative architectures and coordination strategies. In this paper, we present a discrete-event simulation framework which supports the validation ac...
متن کاملModeling Portlet Aggregation Through Statecharts
A portal is a key component of an enterprise integration strategy. It provides integration at the user interface level, whereas other integration technologies support business process, functional or data integration. To this end, portlet syndication is the next wave following the successful use of content syndication in current portals. A portlet is a front-end application which is rendered wit...
متن کاملVisual Tools for Verifying Real-Time Systems
Computers are increasingly used to monitor and control safety critical systems. Real-time software controls aircraft, shuts down nuclear power reactors in emergencies, keeps telephone networks running, and monitors hospital patients. The use of computers in such systems offers considerable benefits, but also poses serious risks to life and the environment [15]. Visual tools based on extended st...
متن کاملGenerating Test Sequences from Statecharts for Concurrent Program Testing
This paper presents an approach to specification-based testing of concurrent programs with representative test sequences generated from Statecharts. Representative test sequences are a subset of all possible interleavings of concurrent events that define the behaviors of a concurrent program. Because a program’s correctness may be determined by checking whether a program implemented all behavio...
متن کاملStatecharts : From Visual Syntax to Model { Theoretic
This paper presents a novel model{theoretic account of Harel, Pnueli and Shalev's original step semantics of the visual speciication language Statecharts. The graphical syntax of a Statechart is read, directly and structurally, as a formula in propositional logic. This proposition completely captures all the logical constraints imposed by the diagram on the Statecharts's semantics, i.e., the po...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995